Reverse Mathematics of Saturated Models
ثبت نشده
چکیده
منابع مشابه
WKL0 and induction principles in model theory
We examine the reverse mathematics of aspects of basic classical and effective model theory, including: existence of homogeneous and saturated models, different type-amalgamation properties, the preorder of models under elementary embeddability, and existence of indiscernibles. Most theorems are equivalent to RCA0, WKL0, or ACA0. Some, however, exhibit peculiar strengths such as ¬WKL0 ∨ ACA0 an...
متن کاملThree-dimensional analytical models for time-dependent coefficients through uniform and varying plane input source in semi-infinite adsorbing porous media.
In the present study, analytical solutions are developed for three-dimensional advection-dispersion equation (ADE) in semi-infinite adsorbing saturated homogeneous porous medium with time dependent dispersion coefficient. It means porosity of the medium is filled with single fluid(water). Dispersion coefficient is considered proportional to seepage velocity while adsorption coefficient inversel...
متن کاملThree-dimensional analytical models for time-dependent coefficients through uniform and varying plane input source in semi-infinite adsorbing porous media.
In the present study, analytical solutions are developed for three-dimensional advection-dispersion equation (ADE) in semi-infinite adsorbing saturated homogeneous porous medium with time dependent dispersion coefficient. It means porosity of the medium is filled with single fluid(water). Dispersion coefficient is considered proportional to seepage velocity while adsorption coefficient inversel...
متن کاملInfinite Saturated Orders
We generalize the notion of saturated orders to infinite partial orders and give both a set-theoretic and an algebraic characterization of such orders. We then study the proof theoretic strength of the equivalence of these characterizations in the context of reverse mathematics, showing that depending on one’s choice of definitions, this equivalence is either provable in RCA0 or equivalent to A...
متن کاملScaling and Fractal Concepts in Saturated Hydraulic Conductivity: Comparison of Some Models
Measurement of soil saturated hydraulic conductivity, Ks, is normally affected by flow patterns such as macro pore; however, most current techniques do not differentiate flow types, causing major problems in describing water and chemical flows within the soil matrix. This study compares eight models for scaling Ks and predicted matrix and macro pore Ks, using a database composed of 50 datasets...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006